"Yuri Gurevich" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday (Lecture Notes in Computer Science Programming and Software Engineering)

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

5.84 Mb

#2

Computer Science Logic, 7 conf., CSL '93

Egon Börger, Yuri Gurevich, Karl Meinke

Категория: Cs_Computer science, CsLn_Lecture notes

2.87 Mb

#3

Abstract State Machines, Theory and Applications, ASM 2000

Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele

Категория: CsLn_

3.80 Mb

#4

Tests and Proofs, 1 conf., TAP 2007

Bertrand Meyer, Yuri Gurevich

Категория: CsLn_

4.38 Mb

#5

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)

Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele

Категория: Computer Science, Computer Science

3.75 Mb